Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
881	Fast Mapping using the Log-Hough Transformation B. Giesler, R. Graf, R. Dillmann Institute for Process Control and Robotics (IPR) University of Karlsruhe DKarlsruhe, Germany Add to Reading List Source URL: www.lira.dist.unige.it Language: English - Date: 2011-12-07 18:07:15 Coordinate systems Algebra Image processing Computer vision Hough transform Vector calculus Polar coordinate system Cartesian coordinate system Hough Mathematics Geometry Analytic geometry
882	DOI: cgfEUROGRAPHICSB. Lévy and J. Kautz (Guest Editors) Volume), Number 2 Add to Reading List Source URL: meshcompression.org Language: English - Date: 2014-04-13 02:10:55 3D computer graphics Mesh generation Algebraic graph theory Polygon mesh Virtual reality Laplacian matrix Discrete Laplace operator Data compression Laplace operator Mathematics Mathematical analysis Algebra
883	On Factorisation of Provenance Polynomials ´ Dan Olteanu and Jakub Zavodn´ y Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Provenance Polynomials Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-06-10 07:50:14 Algebra Polynomial Factorization
884	Mathematical Challenges in Quantum Algorithms Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.turing-gateway.cam.ac.uk Language: English - Date: 2014-09-23 05:58:29 Algebra Hidden subgroup problem Quantum algorithm Coset Integer factorization Quantum computer Subgroup Elliptic curve Discrete logarithm Abstract algebra Group theory Mathematics
885	The Dimensionality of Scene Appearance Rahul Garg1 , Hao Du1 , Steven M. Seitz1 , and Noah Snavely2 1 University of Washington 2 Add to Reading List Source URL: grail.cs.washington.edu Language: English - Date: 2009-08-25 17:34:50 Matrix theory Singular value decomposition Abstract algebra 3D computer graphics Eigenvalues and eigenvectors Photometric stereo Spectrum Rendering Rank Algebra Mathematics Linear algebra
886	Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras ∗ Authors: Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke Affiliation: Department of Computer Scien Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:11 Algebras Frobenius algebra Tensor product Tensor algebra Vector space Singular value decomposition Associative algebra Tensor Braided monoidal category Mathematics Abstract algebra Monoidal categories
887	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
888	The foundational legacy of ASL Donald Sannella1 and Andrzej Tarlecki2 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-17 11:50:58 Mathematical logic Measure theory Structure Universal algebra Sigma-algebra Elementary class Dual Parity of a permutation Mathematics Model theory Abstract algebra
889	Programming for Games Alan Hazelden The game loop ● Add to Reading List Source URL: www.draknek.org Language: English - Date: 2008-10-27 13:39:42 C++ Lis Numerical linear algebra Numerical software Source code C programming language Fstream C syntax Software Computer programming Computing
890	Negative Ternary Set-Sharing Eric Trias,1,2, Jorge Navas,1 Elena S. Ackley,1 Stephanie Forrest1 , and M. Hermenegildo1,3 1 University of New Mexico, USA Air Force Institute of Technology, USA Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-11-02 22:57:41 Formal languages Boolean algebra Character encoding String FO Finitary relation Binary decision diagram Mathematics Theoretical computer science Combinatorics

UPDATE